shale oil

Noun
  1. oil extracted from oil shale by heating
shale oil
Shale oil is extracted from rock in a large industrial facility.